\definecolor{INRIAcolor}{RGB}{90,80,191}

\usepackage{lgrind}
\include{codeenv}

\renewcommand{\section}[1]{
\vspace{2em}\hspace{-1cm}
\addcontentsline{toc}{section}{#1}
{\Large\textcolor{INRIAcolor}{#1}}\\
}
